Religionskritik als Chance und Herausforderung für den christlichen Glauben - Selbstverantwortung und religiöse Mündigkeit - Dialog zwischen Religionen.

In this paper we examine various requirements on the formalisation choices under which self-reference can be adequately formalised in arithmetic. In particular, we study self-referential numberings, which immediately provide a strong notion of self-reference even for expressively weak languages. The results of this paper suggest that the question whether truly self-referential reasoning can be formalised in arithmetic is more sensitive to the underlying coding apparatus than usually believed. As a case study, we show how this sensitivity affects the formal study (...) of certain principles of self-referential truth. (shrink)

The prevalent interpretation of Gödel’s Second Theorem states that a sufficiently adequate and consistent theory does not prove its consistency. It is however not entirely clear how to justify this informal reading, as the formulation of the underlying mathematical theorem depends on several arbitrary formalisation choices. In this paper I examine the theorem’s dependency regarding Gödel numberings. I introducedeviantnumberings, yielding provability predicates satisfying Löb’s conditions, which result in provable consistency sentences. According to the main result of this paper however, these (...) “counterexamples” do not refute the theorem’s prevalent interpretation, since once a natural class ofadmissiblenumberings is singled out, invariance is maintained. (shrink)

v. 1. Truth of the world -- v. 2 Truth of God -- v. 3. The spirit of truth.

This paper investigates the conditions under which diagonal sentences can be taken to constitute paradigmatic cases of self-reference. We put forward well-motivated constraints on the diagonal operator and the coding apparatus which separate paradigmatic self-referential sentences, for instance obtained via Gödel’s diagonalization method, from accidental diagonal sentences. In particular, we show that these constraints successfully exclude refutable Henkin sentences, as constructed by Kreisel.

Niger is regularly affected by food insecurity, mainly due to the high sensitivity of its agricultural sector to climate variability. Despite the support from multiple development institutions and households’ willingness to address food security, hunger and malnutrition continue to challenge many vulnerable households. This study aims to analyze household livelihood strategies toward food security and assess factors determining their resilience. To address the issue, cluster analysis and the principal component analysis were used to identify the different livelihood strategies and to (...) construct a resilience index, respectively. Regression analysis was used to identify the most significant factors determining households’ resilience. The results indicate there were six different household types—pastoralist-extensive agriculturalists, farmers, agro-pastoralists, public service employees, entrepreneurs and wage employees—however, the majority of households obtained their livelihood from both agriculture and livestock (agro-pastoral systems). The principal component analysis highlighted that the pastoralist-extensive agriculturalists are the most resilient followed by public service employees, while households focused on wage labor are the least resilient, followed by entrepreneurs. In terms of gender, the study reveals that households headed by men are more resilient than those headed by women. However, the resilience components including income and food access, assets and adaptive capacity are the most correlated with the households’ resilience to food insecurity. Furthermore, the regression analysis results reveal that the household size, crop production, farming experience, livestock size and number of coping strategies are the most significant factors determining household resilience to food insecurity. Consequently, to face the challenges of climate change and food security, rational investments in agriculture are necessary to transit rural household land-use practices to climate-smart agriculture. (shrink)

On business ethics of Papuan peoples in Indonesia.

Ce livre est la brillante synthèse d'une œuvre qui figure au premier plan de la pensée catholique au XXe siècle. L'élan qui anime tous les écrits de Hans Urs von Balthasar ne s'affirme dans aucun livre mieux que dans cette Théologie de l'histoire. Celle-ci est parfaitement centrée sur le temps du Christ : Dieu toujours présent parmi les hommes. Depuis l'incarnation, l'histoire se déroule dans ce temps nouveau ; il est la norme de l'évolution humaine ; c'est lui qui (...) mesure le cours de l'existence, le progrès vertical et horizontal de l'humanité. Une fresque extraordinaire se déploie sous les yeux du lecteur l'histoire s'intériorise en un destin personnel, la vocation de chacun se situe dans un destin historique universel. Cette vision eschatologique, d'un réalisme éblouissant et pathétique, nous montre que la fin des temps et les temps nouveaux sont déjà commencés. (shrink)

There is a well-known gap between metamathematical theorems and their philosophical interpretations. Take Tarski’s Theorem. According to its prevalent interpretation, the collection of all arithmetical truths is not arithmetically definable. However, the underlying metamathematical theorem merely establishes the arithmetical undefinability of a set of specific Gödel codes of certain artefactual entities, such as infix strings, which are true in the standard model. That is, as opposed to its philosophical reading, the metamathematical theorem is formulated (and proved) relative to a specific (...) choice of the Gödel numbering and the notation system. A similar observation applies to Gödel’s and Church’s theorems, which are commonly taken to impose severe limitations on what can be proved and computed using the resources of certain formalisms. The philosophical force of these limitative results heavily relies on the belief that these theorems do not depend on contingencies regarding the underlying formalisation choices. The main aim of this paper is to provide metamathematical facts which support this belief. While employing a fixed notation system, I showed in previous work (_Review of Symbolic Logic_, 2021, 14(1):51–84) how to abstract away from the choice of the Gödel numbering. In the present paper, I extend this work by establishing versions of Tarski’s, Gödel’s and Church’s theorems which are invariant regarding _both_ the notation system and the numbering. This paper thus provides a further step towards absolute versions of metamathematical results which do not rely on contingent formalisation choices. (shrink)

Este texto se propõe perspectivar a agência humana no entorno do ato de grafar, ou seja, trata das relações e suas tensões entre as percepções do real e de sua inscrição no tempo-espaço, com ênfase à escrita. Dimensiona essa questão circunscrevendo certa noção de um corpo em jogo no mundo, no qual nota e anota o que percebe, via uma Poética da Notação Esquizográfica. Passa, por conseguinte, a perspectivar tal noção de corpo a partir da ideia de um indivíduo que, (...) em Deleuze, é colocada em questão nos termos de um eu passível, ou um ante-eu, como condição para determinações diferenciais dos e nos encontros: sob esse ante-eu, todavia, se impõe um Eu pessoal. Um corpo é, então, considerado como composto por singularidades em movimentos contínuos, variações nas quais irrompem individuações – individualidades dotadas de forças pré-individuais inerentes aos corpos. O problema é colocado a partir da ideia, presente em Barthes, de que uma logosfera nos envolve, e que precisamos, portanto, sacudi-la, pois se trata de um dado do nosso sujeito centrado: pôr em jogo, assim, o que, em nossa individualidade, constitui o Eu pessoal, que condiciona os movimentos da representação, via recognição. Com efeito, é um jogo com a linguagem, tomando-a, com Deleuze e Guattari, como incorpóreos que se expressam dos corpos. Trata-se de ponderar que o mundo, após pensado, só pode ser perspectivado nesses termos, com o pensamento e a linguagem. Destarte, o jogo que propomos – e seus efeitos sobre a educação –é condicionado, com Baudrillard, por uma impostura radical, que passa a lidar com o real, via certa Poética da Notação Esquizográfica. Palavras-chave: Poética. Jogo. Corpo. Pensamento. Linguagem. (shrink)

In this paper, I set out to argue in favour of a philosophical posthumanist and Nietzschean reading of Ira Levin’s This Perfect Day while demonstrating how transhumanism isunbefitting of being called a Nietzschean theory. I will do this by establishing Chip, the protagonist, as a posthuman and being on the path of the ‘Overhuman’ whereas Wei, the antagonist, will be illustrated as Chip’s intended counterpart the Last Human. Through explaining ‘Transhumansim’ and connecting the field to Wei, I will showcase a (...) new way of reading transhumanist ideology, namely ‘Weiism’. The polar opposite in characters of ‘Overhuman’ and ‘Last Human’ will argue in favour of the Nietzschean paradoxical, as part of philosophical posthumanism. Amor fati and the eternal recurrence become posthumanist narrative tools through their weaving into the posthuman narrative of Chip. My argument is that by making philosophical posthumanism more existentialist in nature, it becomes simpler to argue against nihilistic and totalitarian tendencies of worshipping technology. Finally, it is the spiralling motion forward as a mix between the Nietzschean, eternally cyclical re-inventing of oneself and the posthumanist consideration for the future which makes for a literary combination of the two fields of study. (shrink)